🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🎯 Interactive Provers

Proof Development, Tactic Languages, Theorem Proving, Mathematical Verification

Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·3h
🎯Performance Proofs
Structural vs. Mathematical “Under” (2023)
dyalog.com·7h·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
FLINT: Fast Library for Number Theory
flintlib.org·13h
🧮Algebraic Datatypes
busy beaver function
ncatlab.org·2d
⚔️Lean Theorem
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·2d
🔗Functional Compilers
What writing a failed rock-paper-scissors program taught me (or should have taught me) about sample size and uncertainty
statmodeling.stat.columbia.edu·17h
🧮Kolmogorov Bounds
Show HN: SecretMemoryLocker – File Encryption Without Static Passwords
news.ycombinator.com·14h·
Discuss: Hacker News
🔐Archive Encryption
Harnessing MCP Servers with LangChain and LangGraph: A Comprehensive Guide
dev.to·21h·
Discuss: DEV
🔗Constraint Handling
The Lobster Programming Language
strlen.com·11h·
Discuss: Hacker News
🔗Concatenative Programming
Mini-Review: The Life and Times of the Cubic-Solving Guy
daveagp.wordpress.com·4h
🗝️Paleocryptography
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·20h
🤝Paxos Consensus
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·17h·
Discuss: Hacker News
✅Format Verification
Claude Code Gets a Second Opinion from GPT-5
proxymock.io·17h·
Discuss: Hacker News
⚡Proof Automation
Learning ON Large Datasets Using Bit-String Trees
arxiv.org·3h
🗂️Vector Databases
Generating C functions and prototypes using macros – part 2
subethasoftware.com·6h
🦀Rust Macros
On systematic construction of correct logic programs
arxiv.org·3h
⚖️Hoare Logic
Bmssp: A New Shortest Path Algorithm
rohanparanjpe.substack.com·13h·
Discuss: Substack
🔗Topological Sorting
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·1d
🧪Binary Fuzzing
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·17h·
Discuss: Hacker News
⚡Hardware Transactional Memory
Hyper-Wordle strategies
chriskw.xyz·1d·
Discuss: Hacker News
🌳Trie Structures
Loading...Loading more...
AboutBlogChangelogRoadmap